совокупность формул

См. также в других словарях:

• моделей теория —         МОДЕЛЕЙ ТЕОРИЯ раздел математической логики, в котором изучаются фундаментальные связи между синтаксическими свойствами предложений формального языка и семантическими свойствами их моделей.         Наиболее развитой является М. т. формул… …   Энциклопедия эпистемологии и философии науки

• ВЫВОД () — ВЫВОД (в математической логике) В. обычно называется рассуждение, в ходе к рого последовательно получается ряд связанных друг с другом предложений, а также и сама последовательность этих предложений. Нек рые из числа этих предложений не… …   Философская энциклопедия

• ХИНТИККА — (Hintikka) Яакко Юхани (р. 1929) финский логик и философ. Профессор университета Флориды (США), член Американской академии наук и искусств и Академии Финляндии (1970). Главные сочинения: «Знание и вера» (1962), «Модели модальностей. Избранные… …   Новейший философский словарь

• ЭЛЕМЕНТАРНАЯ ТЕОРИЯ — совокупность замкнутых формул логики предикатов 1 й ступени. Э. т. Th(К) класса К алгебраических систем сигнатуры наз. совокупность всех замкнутых формул логики предикатов 1 й ступени сигнатуры истинных на всех системах из класса К. Если класс… …   Математическая энциклопедия

• КОНСТРУКТИВНАЯ СЕМАНТИКА — совокупность способов понимания суждений в конструктивной математике. Необходимость в особой семантике вызвана различием общих принципов, лежащих в основе традиционной (классической) и конструктивной математики (далее последний термин будет в… …   Математическая энциклопедия

• МЕТАТЕОРИЯ — совокупность математич. средств и методов, предназначенных для описания и определения нек рой формальной аксиоматич. теории, а также для исследования ее свойств. М. является важной составной частью метода формализации одного из центральных… …   Математическая энциклопедия

• Речевой этикет — – совокупность принятых обществом правил речевого поведения в соответствующих сферах и ситуациях общения. Речевое поведение регулируется социальной иерархией, национальной культурой и этикетом, ритуалом, воспитанностью языковой личности,… …   Стилистический энциклопедический словарь русского языка

• Наборное производство —         совокупность процессов по созданию печатной формы для получения с неё оттисков (отпечатков).          Печатную форму (набор) можно получить ручным или машинным способом. Ручной способ, наиболее старый и малопроизводительный (до 2 тыс.… …   Большая советская энциклопедия

• ГНОСТИЦИЗМ — совокупность религиозно философских движений эпохи позднего эллинизма, выразившихся в ряде систематических учений, сформулированных во II в. и имевших следующие характерные черты: 1) дуализм, относящий творение материального мира и его историю к… …   Православная энциклопедия

• Научная литература —         совокупность произведений письменности и печати, которые создаются в результате научных исследований или теоретических обобщений и распространяются в целях информирования специалистов о последних достижениях науки, ходе и результатах… …   Большая советская энциклопедия

• Трансмиссия (техн.)* — совокупность приспособлений, назначенных для приведения в действие рабочих машин и станков, получающих движение от общего двигателя или центрального источника силы. При непосредственном соединении рабочей машины с движущею (напр., насоса с… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона